#include<bits/stdc++.h>
#include <unistd.h>
using namespace std;

long long int line[11]={0,3,3,3,(long long int)1e5,(long long int)1e5,(long long int)1e5,(long long int)1e19,(long long int)1e19,(long long int)1e19,(long long int)1e19};

char ch[100];

int main()
{
	for(int i=1;i<=10;++i)
	{
		sprintf(ch,"./data %lld > ./%d.in",line[i],i);
		system(ch);
		sprintf(ch,"./std < ./%d.in > ./%d.out",i,i);
		system(ch);
		printf("%d OK!\n",i);
		sleep(1);
	}
	return 0;
}
